大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

0
索取号：
作者：Joshi、 Rajeev.、M眉ller、 Peter.、Podelski、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

0
索取号：
作者：Russo、 Claudio.、Zhou、 Neng-Fa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Autonomous Mini Robots [electronic resource] : Proceedings of the 6-th AMiRE Symposium

0
索取号：
作者：R眉ckert、 Ulrich.、Joaquin、 Sitte.、Felix、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Improving Software Testing [electronic resource] : Technical and Organizational Developments

0
索取号：
作者：Majchrzak、 Tim A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mathematical SETI [electronic resource] : Statistics, Signal Processing, Space Missions

0
索取号：
作者：Maccone、 Claudio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Aspects of Component Software [electronic resource] : 7th International Workshop, FACS 2010, Guimar茫es, Portugal, October 14-16, 2010, Revised Selected Papers

0
索取号：
作者：Barbosa、 Lu铆s Soares.、Lumpe、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

The Software Dilemma [electronic resource] : Balancing Creativity and Control on the Path to Sustainable Software

0
索取号：
作者：Gutbrod、 Roger.、Wiele、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Quality. Process Automation in Software Development [electronic resource] : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings

0
索取号：
作者：Biffl、 Stefan.、Winkler、 Dietmar.、Bergsmann、 Johannes.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Engineering, Business Continuity, and Education [electronic resource] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

0
索取号：
作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、Kim、 Haeng-kon.、Kang、 Heau-jo.、Kim、 Kyung Jung.、Kiumi、 Akingbehin.、Kang、 Byeong-Ho.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Multimedia, Software Engineering and Computing Vol.1 [electronic resource] : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26鈥ⷬ Wuhan, China

0
索取号：
作者：Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Multimedia, Software Engineering and Computing Vol.2 [electronic resource] : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26鈥ⷬ Wuhan, China

0
索取号：
作者：Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mathematical and Engineering Methods in Computer Science [electronic resource] : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

0
索取号：
作者：Kot谩sek、 Zden臎k.、Bouda、 Jan.、膶ern谩、 Ivana.、Sekanina、 Luk谩拧.、Vojnar、 Tom谩拧.、Anto拧、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Spatial Data Handling and GIS [electronic resource] : 14th International Symposium on Spatial Data Handling

0
索取号：
作者：Yeh、 Anthony G.O.、Shi、 Wenzhong.、Leung、 Yee.、Zhou、 Chenghu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Graph Drawing [electronic resource] : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers

0
索取号：
作者：Kreveld、 Marc.、Speckmann、 Bettina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

28th International Symposium on Shock Waves [electronic resource] : Vol 1

0
索取号：
作者：Kontis、 Konstantinos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

28th International Symposium on Shock Waves [electronic resource] : Vol 2

0
索取号：
作者：Kontis、 Konstantinos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.